Knihy od autora Yves Bertot

Zobrazené 1 – 3 z 3 výsledkov

1. 

   Interactive Theorem Proving and Program Development

   Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   85.69 €

   Zľava 9 %

   Ušetríte 9.23 €

   Kúpiť
2. 

   Interactive Theorem Proving and Program Development

   Yves Bertot, P. Casteran, G. Huet, C. Paulin-Mohring | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   Skladom u dodávateľa - Odosielame za 10 - 13 dní

   Jazyk: Angličtina

   Väzba: Pevná

   120.90 €

   Zľava 9 %

   Ušetríte 12.96 €

   Kúpiť
3. 

   Theorem Proving in Higher Order Logics

   Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.69 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť

Tovar môžete bez udania dôvodov do mesiaca vrátiť. Zistite viac